Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London

Source URL: www.doc.ic.ac.uk

• Software testing
• Concolic testing
• Symbolic execution
• Java Pathfinder
• KeY
• Random testing
• Model checking
• Satisfiability modulo theories
• Unit testing
• Type system
• White-box testing
• Fuzz testing

A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA

Source URL: fm.csl.sri.com

• Formal methods
• Logic in computer science
• Theoretical computer science
• Systems engineering
• Formal verification
• Model checking
• Satisfiability modulo theories
• Verification
• Correctness
• Software verification

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Source URL: www.cs.tau.ac.il

• Mathematical logic
• Operations research
• Algorithm
• Theoretical computer science
• Axiom
• Logic programming
• Euclidean geometry
• Datalog
• Mathematical optimization
• Constraint satisfaction
• Satisfiability modulo theories
• Foundations of geometry

Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International

Source URL: yices.csl.sri.com

• Model theory
• Logic in computer science
• Semantics
• Formal languages
• Logical truth
• Satisfiability modulo theories
• Interpretation
• Quantifier elimination
• True quantified Boolean formula
• Quantifier
• Substitution
• Well-formed formula

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2

Source URL: people.mpi-inf.mpg.de

• Formal methods
• Automated theorem proving
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Conflict-Driven Clause Learning
• Boolean satisfiability problem
• Satisfiability modulo theories
• Clause
• Vampire
• Propositional calculus
• Lambda calculus

Satisfiability Modulo Theories and DPLL(T) Andrew Reynolds March 18, 2015 Overview

Source URL: lara.epfl.ch

FINITE MODEL FINDING IN SATISFIABILITY MODULO THEORIES by Andrew Joseph Reynolds A thesis submitted in partial fulfillment of the

Source URL: lara.epfl.ch

Extending Satisfiability Modulo Theories to Quantifed Formulas Andrew Reynolds University of Iowa September 24, 2012

Source URL: lara.epfl.ch

Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security

Source URL: lara.epfl.ch

Induction in CVC4 Andrew Reynolds December 3rd, 2014 Overview • Satisfiability Modulo Theories (SMT)

Source URL: lara.epfl.ch